/********************************************************************************
** Form generated from reading UI file 'ruledialog.ui'
**
** Created: Fri Aug 24 12:23:00 2012
**      by: Qt User Interface Compiler version 4.7.4
**
** WARNING! All changes made in this file will be lost when recompiling UI file!
********************************************************************************/

#ifndef UI_RULEDIALOG_H
#define UI_RULEDIALOG_H

#include <QtCore/QVariant>
#include <QtGui/QAction>
#include <QtGui/QApplication>
#include <QtGui/QButtonGroup>
#include <QtGui/QComboBox>
#include <QtGui/QDialog>
#include <QtGui/QDialogButtonBox>
#include <QtGui/QGridLayout>
#include <QtGui/QHeaderView>
#include <QtGui/QLabel>
#include <QtGui/QLineEdit>
#include <QtGui/QWidget>

QT_BEGIN_NAMESPACE

class Ui_RuleDialog
{
public:
    QGridLayout *gridLayout_2;
    QWidget *widget;
    QGridLayout *gridLayout_3;
    QLabel *label;
    QComboBox *comboBox;
    QWidget *widget_2;
    QGridLayout *gridLayout;
    QLabel *mLabel1;
    QLineEdit *mLineEdit1;
    QLabel *mLabel2;
    QLineEdit *mLineEdit2;
    QLabel *mLabel3;
    QLineEdit *mLineEdit3;
    QDialogButtonBox *buttonBox;

    void setupUi(QDialog *RuleDialog)
    {
        if (RuleDialog->objectName().isEmpty())
            RuleDialog->setObjectName(QString::fromUtf8("RuleDialog"));
        RuleDialog->resize(381, 213);
        gridLayout_2 = new QGridLayout(RuleDialog);
        gridLayout_2->setObjectName(QString::fromUtf8("gridLayout_2"));
        widget = new QWidget(RuleDialog);
        widget->setObjectName(QString::fromUtf8("widget"));
        gridLayout_3 = new QGridLayout(widget);
        gridLayout_3->setObjectName(QString::fromUtf8("gridLayout_3"));
        label = new QLabel(widget);
        label->setObjectName(QString::fromUtf8("label"));
        QSizePolicy sizePolicy(QSizePolicy::Fixed, QSizePolicy::Preferred);
        sizePolicy.setHorizontalStretch(0);
        sizePolicy.setVerticalStretch(0);
        sizePolicy.setHeightForWidth(label->sizePolicy().hasHeightForWidth());
        label->setSizePolicy(sizePolicy);

        gridLayout_3->addWidget(label, 0, 0, 1, 1);

        comboBox = new QComboBox(widget);
        comboBox->setObjectName(QString::fromUtf8("comboBox"));

        gridLayout_3->addWidget(comboBox, 0, 1, 1, 1);


        gridLayout_2->addWidget(widget, 0, 0, 1, 1);

        widget_2 = new QWidget(RuleDialog);
        widget_2->setObjectName(QString::fromUtf8("widget_2"));
        gridLayout = new QGridLayout(widget_2);
        gridLayout->setObjectName(QString::fromUtf8("gridLayout"));
        mLabel1 = new QLabel(widget_2);
        mLabel1->setObjectName(QString::fromUtf8("mLabel1"));

        gridLayout->addWidget(mLabel1, 0, 0, 1, 1);

        mLineEdit1 = new QLineEdit(widget_2);
        mLineEdit1->setObjectName(QString::fromUtf8("mLineEdit1"));

        gridLayout->addWidget(mLineEdit1, 0, 1, 1, 1);

        mLabel2 = new QLabel(widget_2);
        mLabel2->setObjectName(QString::fromUtf8("mLabel2"));

        gridLayout->addWidget(mLabel2, 1, 0, 1, 1);

        mLineEdit2 = new QLineEdit(widget_2);
        mLineEdit2->setObjectName(QString::fromUtf8("mLineEdit2"));

        gridLayout->addWidget(mLineEdit2, 1, 1, 1, 1);

        mLabel3 = new QLabel(widget_2);
        mLabel3->setObjectName(QString::fromUtf8("mLabel3"));

        gridLayout->addWidget(mLabel3, 2, 0, 1, 1);

        mLineEdit3 = new QLineEdit(widget_2);
        mLineEdit3->setObjectName(QString::fromUtf8("mLineEdit3"));

        gridLayout->addWidget(mLineEdit3, 2, 1, 1, 1);


        gridLayout_2->addWidget(widget_2, 1, 0, 1, 1);

        buttonBox = new QDialogButtonBox(RuleDialog);
        buttonBox->setObjectName(QString::fromUtf8("buttonBox"));
        buttonBox->setStandardButtons(QDialogButtonBox::Cancel|QDialogButtonBox::Ok);

        gridLayout_2->addWidget(buttonBox, 2, 0, 1, 1);


        retranslateUi(RuleDialog);

        QMetaObject::connectSlotsByName(RuleDialog);
    } // setupUi

    void retranslateUi(QDialog *RuleDialog)
    {
        RuleDialog->setWindowTitle(QApplication::translate("RuleDialog", "Dialog", 0, QApplication::UnicodeUTF8));
        label->setText(QApplication::translate("RuleDialog", "Assumption Rule Type:", 0, QApplication::UnicodeUTF8));
        comboBox->clear();
        comboBox->insertItems(0, QStringList()
         << QApplication::translate("RuleDialog", "PrApp", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("RuleDialog", "App", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("RuleDialog", "NavApp", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("RuleDialog", "Kernel", 0, QApplication::UnicodeUTF8)
        );
        mLabel1->setText(QApplication::translate("RuleDialog", "Atomic Variable:", 0, QApplication::UnicodeUTF8));
        mLabel2->setText(QApplication::translate("RuleDialog", "Atomic Variable:", 0, QApplication::UnicodeUTF8));
        mLabel3->setText(QApplication::translate("RuleDialog", "Atomic Variable:", 0, QApplication::UnicodeUTF8));
    } // retranslateUi

};

namespace Ui {
    class RuleDialog: public Ui_RuleDialog {};
} // namespace Ui

QT_END_NAMESPACE

#endif // UI_RULEDIALOG_H
